<?php
if (is_file('rename.php')) {
   echo('that is a file!');
}
?>
